Technische Universität Berlin Forschungsberichte des Fachbereichs Informatik
نویسندگان
چکیده
Congruence proofs for bisimulation on higher{order process calculi tend to be signiicantly more complex than their counterparts in rst{order process algebra frameworks. Moreover, a standard technique that allows us to cover strong forms of bisimulation on higher{order calculi seems to fail for the corresponding weak forms. Similar problems are posed by applicative simulation on {calculi and our starting point is a general and elegant technique for solving them that has been invented by Howe. We adapt and extend this technique to prove two new congruence results for !{order process calculi. In the rst case, where we use a static scoping discipline for action names, we treat a delay variant of late weak context bisimulation; in the second case, where we use a dynamic scoping discipline, we treat an early weak higher{order bisimulation. The present paper supersedes parts of our technical report BF95], where we have considered second{order processes.
منابع مشابه
Forschungsberichte Des Fachbereichs Informatik Learning Spatial Relations with Cal5 and Tritop
متن کامل
Traffic Networks and Flows over Time
1 Brandenburgische Technische Universität Cottbus, Fakultät I — Mathematik, Naturwissenschaften und Informatik, Mathematisches Institut, PSF 10 13 44, 03013 Cottbus, Germany. Email: [email protected], URL: http://www.math.tu-cottbus.de/INSTITUT/lsgdi 2 Technische Universität Berlin, Fakultät II — Mathematik und Naturwissenschaften, Institut für Mathematik, Sekr. MA 5–1, Straße des 17....
متن کاملSystematic testing of code generation tools: a test suite oriented approach for safeguarding model based code generation
Promotion: Technische Universität Berlin, Fakultät für Elektrotechnik und Informatik Erstgutachter: Prof. Dr. Peter Pepper (Technische Universität Berlin) Zweitgutachter: Prof. Dr. Andy Schürr (Technische Universität Darmstadt) Datum der Prüfung: 16.02.2006 Veröffentlichung: Ingo Stürmer, Systematic Testing of Code Generation Tools – A Testsuite oriented Approach for Safeguarding Model-based Co...
متن کاملGermanTeam 2002
1 Institut für Informatik, LFG Künstliche Intelligenz, Humboldt-Universität zu Berlin, Rudower Chaussee 25, 12489 Berlin, Germany 2 Bremer Institut für Sichere Systeme, TZI, FB 3 Mathematik/Informatik, Universität Bremen, Postfach 330440, 28334 Bremen, Germany 3 Fachgebiet Simulation und Systemoptimierung, FB 20 Informatik, Technische Universität Darmstadt, Alexanderstr. 10, 64283 Darmstadt, Ge...
متن کاملAudiocodierung: Vom Hörfunkstandard zum Advanced Audio Coding
Prof. Dr.-Ing. Peter Noll, Promotion 1969, Habilitation 1973, beides an der TU Berlin, war von 1976 bis 1980 o. Professor für Statistische Nachrichtentheorie an der Universität Bremen und ist seit 1980 Professor für Fernmeldetechnik an der Technischen Universität Berlin. Er hat fünf Jahre im Rahmen der MPEG-Standardisierungsaktivitäten die Audio-Arbeitsgruppe geleitet. Lehrund Forschungsschwerp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996